منابع مشابه
Algebraically compact functors
In a previous paper, we investigated the relation between the initial algebra and terminal coalgebra for an endofunctor on the category of sets. In this one we study conditions on a functor to be algebraically compact, which means that the canonical comparison morphism between those objects is an isomorphism. Introduction Suppose C is a category and T : C −→ C is a functor. In both [Barr, 1991]...
متن کاملRational Mackey Functors for Compact Lie Groupsi
A rational Mackey functor M for a compact Lie group G can be viewed as a collection of sheaves on spaces of conjugacy classes of subgroups, one for each closed subgroup H, related by restriction maps only. This in turn may be speciied by giving a suitably continuous family consisting of a Q 0 (W G (H))-module V (H) for each closed subgroup H with restriction maps V (^ K) ?! V (K) whenever K is ...
متن کاملAlgebraically Periodic Translation Surfaces
Translation surfaces arise in complex analysis, the classification of surface diffeomorphisms and the study of polygonal billiards. In recent years there have been some notable advances in understanding their properties. In particular Calta and McMullen have made significant advances in understanding translation structures in genus 2. This paper is motivated by our desire to reformulate and ext...
متن کاملAlgebraically Coherent Categories
We call a nitely complete category algebraically coherent if the change-ofbase functors of its bration of points are coherent, which means that they preserve nite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdor algebras over a ...
متن کاملExtended Conscriptions Algebraically
Conscriptions are a model of sequential computations with assumption/commitment specifications in which assumptions can refer to final states, not just to initial states. We show that they instantiate existing algebras for iteration and infinite computations. We use these algebras to derive an approximation order for conscriptions and one for extended conscriptions, which additionally represent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.323.2